formal logic是什么意思_formal logic的意思_formal logic的翻译_formal logic怎么读_formal logic的音标_formal logic的发音_formal logic翻译器_formal logic的短语_formal logic速记技巧_formal logic的近义词_formal logic的反义词_formal logic的双语例句

近义词

mathematical logic数理逻辑;
symbolic logicn.数理逻辑，逻辑符号;

双语例句

1、

By means of stretching back the predicate judgment and comparing with the traditional formal logic, Husserl showed us a more extensive field of pre-predicative experience.

通过将谓词判断的明见性追溯到前谓词的经验领域，胡塞尔向我们展现了一个比传统形式逻辑范围更加广泛的前谓词经验的领域。

互联网摘选

2、

The development of the modern formal logic has provided us with an untraditional way to be in search of truth.

现代形式逻辑的发展为我们提供了一种不同于传统的求真方式。

互联网摘选

3、

In the investigation, first, the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.

首先采用描述逻辑表达领域本体的语法和语义，实现领域本体的形式化转换；

互联网摘选

4、

Modern formal logic holding guide ideology of the philosophy that is about dialectical materialism and object theory about logic reveals two independence of apodeictic relation about reasoning between premise and conclusion.

持辩证唯物论逻辑客体说哲学指导思想的当代形式逻辑揭示了推理的前提与结论间的必然关系的两个独立性。

互联网摘选

5、

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

互联网摘选

6、

His analyses and interpretations of I Ching were also much of formal logic.

他对易之道德世界的分析与解释也是极其形式化的逻辑的.

互联网摘选

7、

Formal Logic and the Translation of Scientific English

形式逻辑与科技英语翻译

互联网摘选

8、

On the Basic Law Status of Implication Law in Formal Logic

论蕴涵规律在形式逻辑中的基本规律地位

互联网摘选

9、

You arrived at your conclusion using the methods of formal logic.

你这个结论是按照形式逻辑的方法推论出来的.

《现代汉英综合大词典》

10、

Model checking is a formal method for verifying the temporal logic properties of finite state systems.

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。

互联网摘选

11、

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

发展形式逻辑和其执行情况的计算机是计算机科学的基础。

互联网摘选

点击展开全部例句

相关词组

formal algebra形式代数;
Boolean logicn.<数>布尔逻辑;
formal application正式申请;
algebraic logic代数逻辑;
formal wear正装;
formal note正式照会;
formal dressn.礼服;大礼服;
biasing logic偏置逻辑;
chop logicv.强词夺理;
affective logic情感逻辑;
function logic功能逻辑;
formal sitting隆重开会;
symbolic logicn.数理逻辑，逻辑符号;
formal agreement正式协议;
formal attire礼服;
formal organization正式组织;
formal education形式教育;正式教育;
fuzzy logic模糊逻辑;
contention logic[计] 争用逻辑;
ad hoc logic专门逻辑;

今日热词
热门搜索

rough[rʌf] adj.粗糙的;粗略的;大致的;粗暴的;艰难的;恶劣的;粗野的;汹涌的;高低不平的;不舒服的;猛烈的;不平滑的;不确切的;犯罪盛行的;味道差的n.草图;草稿;暴徒;(高尔夫球场的)长草区;粗野的人
sperm[spɜ:m] n.精子;精液;鲸蜡油;
transport[ˈtrænspɔːt , trænˈspɔːt] n.交通工具;交通运输系统;运输;运输工具;激情;v.运输;传播;使身处他境;流放;
westlink 西遇；西域；西部公路
SQLite n.一个轻量级别数据库;嵌入式数据库;创建数据库;数据库支持
smoke-free[sməuk fri:] adj.无烟的，禁止吸烟的（地点）;
so long[səʊ lɔŋ] int.再见;
ounce[aʊns] n.盎司;<口>少量，一点儿;雪豹;
fit[fɪt] v.适合;合身;试穿;放置于;可容纳;安装;与…相配;胜任;发作;adj.健康的;适合的;俊秀的;就要;
chopsticks['tʃɒpstɪks] n.筷子;筷子( chopstick的名词复数 );
away[əˈweɪ] adv.离开，远离;在远处;消失;adj.不在的;遥远的;客场比赛;
crew[kruː] n.(飞机、轮船等上的)全体工作人员;技术团队;一组人;划船队;赛船运动;v.当船员;

sweep[swiːp] v.打扫，拂去;梳（头发）;挥动（手臂）;席卷，扫过;迅速传播;大模大样地走;彻底删掉;延伸;轻松赢得;n.打扫;挥动;搜索，扫荡;广泛性;(道路、河流)绵延弯曲的地带;
mechanism[ˈmekənɪzəm] n.[生]机制，机能，[乐]机理;（机械）结构，机械装置[作用]，（故事的）结构;[艺]手法，技巧，途径;机械作用;
thunderstorm[ˈθʌndəstɔːm] n.雷电交加的暴风雨;大雷雨;雷雨;雷暴;雷雨交加
case[keɪs] n. （实）例，事例;情况，状况;诉讼（事件），案件，判例;容器（箱，盒）;vt. 把…装入箱（或盒等）内;加盖于;包围，围住;[俚语]（尤指盗窃前）探察，侦查，窥测;
alike[əˈlaɪk] adj.同样的，相似的;adv.两者都，同样地;类似于;
thread[θred] n.线;线索;线状物;螺纹;vt.穿成串;将（针、线等）穿过…;用…线缝;给…装入（胶片、狭带、绳子）;
correspondence[ˌkɒrəˈspɒndəns] n.来往信件;通信;相似;通信联系;相关;往来书信
twelve[twelv] num.十二;十二个;十二点钟;十二岁;n.十二；十二个;
separately[ˈseprətli] adv.分别地，另行;分开，单独;分离地;个别地;
tube china 中国国际管材展览会；第三届中国国际管材展览会
collections[kə'lekʃənz] n.收集( collection的名词复数 );收藏品;作品集;募集的款项;
necktie[ˈnektaɪ] n.领带，领结;